Inside the C++ Object Model focuses on the underlying mechanisms that support object-oriented programming within C++: constructor semantics, temporary generation, support for encapsulation, inheritance, and "the virtuals"--virtual functions and virtual inheritance. This book shows how your understanding the underlying implementation models can help you code more efficiently and...(展开全部)

The Earned Value Management Maturity Model® gives you the fundamental tools needed to build an effective Earned Value Management System (EVMS).Discover valuable ways to improve your EVMS and achieve project success.

Inside the C++ Object Model focuses on the underlying mechanisms that support object-oriented programming within C++: constructor semantics, temporary generation, support for encapsulation, inheritance, and "the virtuals"--virtual functions and virtual inheritance. This book shows how your understanding the underlying implementation models can help you code more efficiently and...(展开全部)

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods — including classification theory and nonstandard analysis — the third edit...(展开全部)

Lisette Model is an unsurpassed introduction to one of the twentieth century's most significant photographers--a woman whose searing images and eloquent teachings deeply influenced her students Diane Arbus, Larry Fink and many others. To mark the twenty-fifth anniversary of Model's death in 1983, Aperture is reissuing this classic, highly collectible 1979 monograph--the first b...(展开全部)

This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety...(展开全部)

Model checking领域的权威书籍

SHIHO初!待望のメッセージ&フォトブック。元気の素、幸せのヒント、キレイの秘密がつまってる。今まで見せなかった、ありのままのSHIHO。ポジティブに生きるSHIHOからのメッセージ。

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods — including classification theory and nonstandard analysis — the third edit...(展开全部)